SNL2Z: Tool for Translating an Informal Structured Software Specification into Formal Specification
نویسندگان
چکیده
منابع مشابه
SNL2Z: Tool for Translating an Informal Structured Software Specification into Formal Specification
In the area of software engineering there have been very few efforts to automate the translation from specifications written in natural language to the formal specification languages. Writing of the specifications in natural language is always depending on context and it is commonly vagueness; this represents the major reasons of the challenge. This paper discusses the design of a tool for tran...
متن کاملAnalysis of Modeling Techniques used for Translating Natural Language Specification into Formal Software Requirements
The prerequisite to any software development process is to first capture and understand the intended behaviour of the software solution based on the gathered requirements and understanding the constraints related to it. Hence requirement engineering becomes a very crucial step. Requirements are specified in Natural language by the user and it has to be translated to a formal representation for ...
متن کاملFormal Specification of Software
Automatic programming consists not 10Draft For Public ReviewSEI-CM-8-1.0 Formal Specification of Software only of an automatic compiler, but also some meansrequirements definition to verified implementation.of acquiring the high-level specification to be com-(By now the tools have been implemented. Thepiled, some means of determining that it is the in-result is an im...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملA Formal Software Specification Tool Using the Entity-Relationship Model
Software engineering, like any other engineering field, needs to use formal methods to prove the reliability of its products and optimise their production and maintenance. In order to do that, software specification needs to be expressed in a language whose vocabulary, syntax and semantics are formally defined. These languages can be a federating formalism in information systems for data struct...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: American Journal of Applied Sciences
سال: 2008
ISSN: 1546-9239
DOI: 10.3844/ajassp.2008.378.384